правило условного доказательства

См. также в других словарях:

• Логика Хоара — (англ. Hoare logic, также Floyd Hoare logic, или Hoare rules)  формальная система с набором логических правил, предназначенных для доказательства корректности компьютерных программ. Была предложена в 1969 году английским учёным в… …   Википедия

• Страшнов, Амнон — Амнон Страшнов ивр. אמנון סטרשנוב‎ …   Википедия

• Медицина — I Медицина Медицина система научных знаний и практической деятельности, целями которой являются укрепление и сохранение здоровья, продление жизни людей, предупреждение и лечение болезней человека. Для выполнения этих задач М. изучает строение и… …   Медицинская энциклопедия

• Корреляция — (Correlation) Корреляция это статистическая взаимосвязь двух или нескольких случайных величин Понятие корреляции, виды корреляции, коэффициент корреляции, корреляционный анализ, корреляция цен, корреляция валютных пар на Форекс Содержание… …   Энциклопедия инвестора

• ГИПОТЕЗА — (от греч. hipothesis основание, предположение) положение, выдвигаемое в качестве предварительного, условного объяснения некоторого явления или группы явлений; предположение о существовании некоторого явления. Г. может касаться существования… …   Философская энциклопедия

• ЛОГИЧЕСКИЕ ОШИБКИ — нарушения к. л. законов или правил логики. Если ошибка допущена неумышленно, она называется паралогизмом; если же правила логики нарушают умышленно с целью доказать недоказуемое или ввести кого то в заблуждение, то это софизм. Л.о. следует… …   Философская энциклопедия

• Кант Иммануил — Жизненный путь и сочинения Канта     Иммануил Кант родился в Кенигсберге (ныне Калининград) в Восточной Пруссии в 1724 г. Отец был шорником, а мать домохозяйкой, шестеро их детей не дожили до зрелого возраста. Кант всегда вспоминал родителей с… …   Западная философия от истоков до наших дней

• Силлогизм — умозаключение, в котором на основании нескольких суждений с необходимостью выводится новое суждение, называемое заключением. В отличие от С., как умозаключения посредственного, непосредственным умозаключением называется то, в котором заключение… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

• ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ — математическая дисциплина, изучающая математич. абстракции программ, трактуемых как объекты, выраженные на формальном языке, обладающие определенной информационной и логич. структурой и подлежащие исполнению на автоматич. устройствах. П. т.… …   Математическая энциклопедия

• АПОЛОГЕТИКА — [греч. ἀπολογία защита, оправдание, заступничество; речь, сказанная или написанная в защиту кого либо; ἀπολογέομαι защищаться, оправдываться, приводить, говорить что либо в свою защиту], в общем смысле это любая защита христианства от обвинений и …   Православная энциклопедия

• ГОСТ Р 50030.1-2000: Аппаратура распределения и управления низковольтная. Часть 1. Общие требования и методы испытаний. — Терминология ГОСТ Р 50030.1 2000: Аппаратура распределения и управления низковольтная. Часть 1. Общие требования и методы испытаний. оригинал документа: 2.2.11 автоматический выключатель : Контактный коммутационный аппарат, способный включать,… …   Словарь-справочник терминов нормативно-технической документации